A Modal-tense Sortal Logic with Variable-Domain Second-order Quantification
نویسندگان
چکیده
منابع مشابه
Expressivity of Second Order Propositional Modal Logic
We consider second order propositional modal logic (SOPML), an extension of the basic modal language with propositional quantifiers introduced by Kit Fine in 1970. We determine the precise expressive power of SOPML by giving analogues of the Van Benthem-Rosen theorem and the GoldblattThomason theorem. Furthermore, we show that the basic modal language is the bisimulation invariant fragment of S...
متن کاملA Semantical Analysis of Second-Order Propositional Modal Logic
This paper is aimed as a contribution to the use of formal modal languages in Artificial Intelligence. We introduce a multi-modal version of Second-order Propositional Modal Logic (SOPML), an extension of modal logic with propositional quantification, and illustrate its usefulness as a specification language for knowledge representation as well as temporal and spatial reasoning. Then, we define...
متن کاملModal Realism with Modal Tense
Modal realists should fashion their theory by postulating and taking seriously the modal equivalent of tense, or modal tense. This will give them a uniform way to respond to five different objections, one each by Skyrms, Quine, and Peacocke, and two by van Inwagen, and suggest a non-Lewisian path to modal realism. 0. Introduction The extensive parallel between temporal logic and modal logic has...
متن کاملModal Logic with Bounded Quantification over Worlds
In this paper, we present a logical framework that combines modality with a first-order variable-binding mechanism. The logic, which belongs to the family of hybrid languages, differs from standard first-order modal logics in that quantification is not performed inside the worlds of a model, but the worlds in the model themselves constitute the domain of quantification. The locality principle o...
متن کاملModal Deduction in Second-Order Logic and Set Theory - I
In this paper, we generalize the set-theoretic translation method for polymodal logic introduced in 11] to extended modal logics. Instead of devising an ad-hoc translation for each logic, we develop a general framework within which a number of extended modal logics can be dealt with. We rst extend the basic set-theoretic translation method to weak monadic second-order logic through a suitable c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Australasian Journal of Logic
سال: 2015
ISSN: 1448-5052
DOI: 10.26686/ajl.v12i1.2084